home *** CD-ROM | disk | FTP | other *** search
- ------------------------------------------------------------------------
- -- compare.decTest -- decimal comparison --
- -- Copyright (c) IBM Corporation, 1981, 2003. All rights reserved. --
- ------------------------------------------------------------------------
- -- Please see the document "General Decimal Arithmetic Testcases" --
- -- at http://www2.hursley.ibm.com/decimal for the description of --
- -- these testcases. --
- -- --
- -- These testcases are experimental ('beta' versions), and they --
- -- may contain errors. They are offered on an as-is basis. In --
- -- particular, achieving the same results as the tests here is not --
- -- a guarantee that an implementation complies with any Standard --
- -- or specification. The tests are not exhaustive. --
- -- --
- -- Please send comments, suggestions, and corrections to the author: --
- -- Mike Cowlishaw, IBM Fellow --
- -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
- -- mfc@uk.ibm.com --
- ------------------------------------------------------------------------
- version: 2.39
-
- -- Note that we cannot assume add/subtract tests cover paths adequately,
- -- here, because the code might be quite different (comparison cannot
- -- overflow or underflow, so actual subtractions are not necesary).
-
- extended: 1
-
- precision: 9
- rounding: half_up
- maxExponent: 999
- minexponent: -999
-
- -- sanity checks
- comx001 compare -2 -2 -> 0
- comx002 compare -2 -1 -> -1
- comx003 compare -2 0 -> -1
- comx004 compare -2 1 -> -1
- comx005 compare -2 2 -> -1
- comx006 compare -1 -2 -> 1
- comx007 compare -1 -1 -> 0
- comx008 compare -1 0 -> -1
- comx009 compare -1 1 -> -1
- comx010 compare -1 2 -> -1
- comx011 compare 0 -2 -> 1
- comx012 compare 0 -1 -> 1
- comx013 compare 0 0 -> 0
- comx014 compare 0 1 -> -1
- comx015 compare 0 2 -> -1
- comx016 compare 1 -2 -> 1
- comx017 compare 1 -1 -> 1
- comx018 compare 1 0 -> 1
- comx019 compare 1 1 -> 0
- comx020 compare 1 2 -> -1
- comx021 compare 2 -2 -> 1
- comx022 compare 2 -1 -> 1
- comx023 compare 2 0 -> 1
- comx025 compare 2 1 -> 1
- comx026 compare 2 2 -> 0
-
- comx031 compare -20 -20 -> 0
- comx032 compare -20 -10 -> -1
- comx033 compare -20 00 -> -1
- comx034 compare -20 10 -> -1
- comx035 compare -20 20 -> -1
- comx036 compare -10 -20 -> 1
- comx037 compare -10 -10 -> 0
- comx038 compare -10 00 -> -1
- comx039 compare -10 10 -> -1
- comx040 compare -10 20 -> -1
- comx041 compare 00 -20 -> 1
- comx042 compare 00 -10 -> 1
- comx043 compare 00 00 -> 0
- comx044 compare 00 10 -> -1
- comx045 compare 00 20 -> -1
- comx046 compare 10 -20 -> 1
- comx047 compare 10 -10 -> 1
- comx048 compare 10 00 -> 1
- comx049 compare 10 10 -> 0
- comx050 compare 10 20 -> -1
- comx051 compare 20 -20 -> 1
- comx052 compare 20 -10 -> 1
- comx053 compare 20 00 -> 1
- comx055 compare 20 10 -> 1
- comx056 compare 20 20 -> 0
-
- comx061 compare -2.0 -2.0 -> 0
- comx062 compare -2.0 -1.0 -> -1
- comx063 compare -2.0 0.0 -> -1
- comx064 compare -2.0 1.0 -> -1
- comx065 compare -2.0 2.0 -> -1
- comx066 compare -1.0 -2.0 -> 1
- comx067 compare -1.0 -1.0 -> 0
- comx068 compare -1.0 0.0 -> -1
- comx069 compare -1.0 1.0 -> -1
- comx070 compare -1.0 2.0 -> -1
- comx071 compare 0.0 -2.0 -> 1
- comx072 compare 0.0 -1.0 -> 1
- comx073 compare 0.0 0.0 -> 0
- comx074 compare 0.0 1.0 -> -1
- comx075 compare 0.0 2.0 -> -1
- comx076 compare 1.0 -2.0 -> 1
- comx077 compare 1.0 -1.0 -> 1
- comx078 compare 1.0 0.0 -> 1
- comx079 compare 1.0 1.0 -> 0
- comx080 compare 1.0 2.0 -> -1
- comx081 compare 2.0 -2.0 -> 1
- comx082 compare 2.0 -1.0 -> 1
- comx083 compare 2.0 0.0 -> 1
- comx085 compare 2.0 1.0 -> 1
- comx086 compare 2.0 2.0 -> 0
-
- -- now some cases which might overflow if subtract were used
- maxexponent: 999999999
- minexponent: -999999999
- comx090 compare 9.99999999E+999999999 9.99999999E+999999999 -> 0
- comx091 compare -9.99999999E+999999999 9.99999999E+999999999 -> -1
- comx092 compare 9.99999999E+999999999 -9.99999999E+999999999 -> 1
- comx093 compare -9.99999999E+999999999 -9.99999999E+999999999 -> 0
-
- -- some differing length/exponent cases
- comx100 compare 7.0 7.0 -> 0
- comx101 compare 7.0 7 -> 0
- comx102 compare 7 7.0 -> 0
- comx103 compare 7E+0 7.0 -> 0
- comx104 compare 70E-1 7.0 -> 0
- comx105 compare 0.7E+1 7 -> 0
- comx106 compare 70E-1 7 -> 0
- comx107 compare 7.0 7E+0 -> 0
- comx108 compare 7.0 70E-1 -> 0
- comx109 compare 7 0.7E+1 -> 0
- comx110 compare 7 70E-1 -> 0
-
- comx120 compare 8.0 7.0 -> 1
- comx121 compare 8.0 7 -> 1
- comx122 compare 8 7.0 -> 1
- comx123 compare 8E+0 7.0 -> 1
- comx124 compare 80E-1 7.0 -> 1
- comx125 compare 0.8E+1 7 -> 1
- comx126 compare 80E-1 7 -> 1
- comx127 compare 8.0 7E+0 -> 1
- comx128 compare 8.0 70E-1 -> 1
- comx129 compare 8 0.7E+1 -> 1
- comx130 compare 8 70E-1 -> 1
-
- comx140 compare 8.0 9.0 -> -1
- comx141 compare 8.0 9 -> -1
- comx142 compare 8 9.0 -> -1
- comx143 compare 8E+0 9.0 -> -1
- comx144 compare 80E-1 9.0 -> -1
- comx145 compare 0.8E+1 9 -> -1
- comx146 compare 80E-1 9 -> -1
- comx147 compare 8.0 9E+0 -> -1
- comx148 compare 8.0 90E-1 -> -1
- comx149 compare 8 0.9E+1 -> -1
- comx150 compare 8 90E-1 -> -1
-
- -- and again, with sign changes -+ ..
- comx200 compare -7.0 7.0 -> -1
- comx201 compare -7.0 7 -> -1
- comx202 compare -7 7.0 -> -1
- comx203 compare -7E+0 7.0 -> -1
- comx204 compare -70E-1 7.0 -> -1
- comx205 compare -0.7E+1 7 -> -1
- comx206 compare -70E-1 7 -> -1
- comx207 compare -7.0 7E+0 -> -1
- comx208 compare -7.0 70E-1 -> -1
- comx209 compare -7 0.7E+1 -> -1
- comx210 compare -7 70E-1 -> -1
-
- comx220 compare -8.0 7.0 -> -1
- comx221 compare -8.0 7 -> -1
- comx222 compare -8 7.0 -> -1
- comx223 compare -8E+0 7.0 -> -1
- comx224 compare -80E-1 7.0 -> -1
- comx225 compare -0.8E+1 7 -> -1
- comx226 compare -80E-1 7 -> -1
- comx227 compare -8.0 7E+0 -> -1
- comx228 compare -8.0 70E-1 -> -1
- comx229 compare -8 0.7E+1 -> -1
- comx230 compare -8 70E-1 -> -1
-
- comx240 compare -8.0 9.0 -> -1
- comx241 compare -8.0 9 -> -1
- comx242 compare -8 9.0 -> -1
- comx243 compare -8E+0 9.0 -> -1
- comx244 compare -80E-1 9.0 -> -1
- comx245 compare -0.8E+1 9 -> -1
- comx246 compare -80E-1 9 -> -1
- comx247 compare -8.0 9E+0 -> -1
- comx248 compare -8.0 90E-1 -> -1
- comx249 compare -8 0.9E+1 -> -1
- comx250 compare -8 90E-1 -> -1
-
- -- and again, with sign changes +- ..
- comx300 compare 7.0 -7.0 -> 1
- comx301 compare 7.0 -7 -> 1
- comx302 compare 7 -7.0 -> 1
- comx303 compare 7E+0 -7.0 -> 1
- comx304 compare 70E-1 -7.0 -> 1
- comx305 compare .7E+1 -7 -> 1
- comx306 compare 70E-1 -7 -> 1
- comx307 compare 7.0 -7E+0 -> 1
- comx308 compare 7.0 -70E-1 -> 1
- comx309 compare 7 -.7E+1 -> 1
- comx310 compare 7 -70E-1 -> 1
-
- comx320 compare 8.0 -7.0 -> 1
- comx321 compare 8.0 -7 -> 1
- comx322 compare 8 -7.0 -> 1
- comx323 compare 8E+0 -7.0 -> 1
- comx324 compare 80E-1 -7.0 -> 1
- comx325 compare .8E+1 -7 -> 1
- comx326 compare 80E-1 -7 -> 1
- comx327 compare 8.0 -7E+0 -> 1
- comx328 compare 8.0 -70E-1 -> 1
- comx329 compare 8 -.7E+1 -> 1
- comx330 compare 8 -70E-1 -> 1
-
- comx340 compare 8.0 -9.0 -> 1
- comx341 compare 8.0 -9 -> 1
- comx342 compare 8 -9.0 -> 1
- comx343 compare 8E+0 -9.0 -> 1
- comx344 compare 80E-1 -9.0 -> 1
- comx345 compare .8E+1 -9 -> 1
- comx346 compare 80E-1 -9 -> 1
- comx347 compare 8.0 -9E+0 -> 1
- comx348 compare 8.0 -90E-1 -> 1
- comx349 compare 8 -.9E+1 -> 1
- comx350 compare 8 -90E-1 -> 1
-
- -- and again, with sign changes -- ..
- comx400 compare -7.0 -7.0 -> 0
- comx401 compare -7.0 -7 -> 0
- comx402 compare -7 -7.0 -> 0
- comx403 compare -7E+0 -7.0 -> 0
- comx404 compare -70E-1 -7.0 -> 0
- comx405 compare -.7E+1 -7 -> 0
- comx406 compare -70E-1 -7 -> 0
- comx407 compare -7.0 -7E+0 -> 0
- comx408 compare -7.0 -70E-1 -> 0
- comx409 compare -7 -.7E+1 -> 0
- comx410 compare -7 -70E-1 -> 0
-
- comx420 compare -8.0 -7.0 -> -1
- comx421 compare -8.0 -7 -> -1
- comx422 compare -8 -7.0 -> -1
- comx423 compare -8E+0 -7.0 -> -1
- comx424 compare -80E-1 -7.0 -> -1
- comx425 compare -.8E+1 -7 -> -1
- comx426 compare -80E-1 -7 -> -1
- comx427 compare -8.0 -7E+0 -> -1
- comx428 compare -8.0 -70E-1 -> -1
- comx429 compare -8 -.7E+1 -> -1
- comx430 compare -8 -70E-1 -> -1
-
- comx440 compare -8.0 -9.0 -> 1
- comx441 compare -8.0 -9 -> 1
- comx442 compare -8 -9.0 -> 1
- comx443 compare -8E+0 -9.0 -> 1
- comx444 compare -80E-1 -9.0 -> 1
- comx445 compare -.8E+1 -9 -> 1
- comx446 compare -80E-1 -9 -> 1
- comx447 compare -8.0 -9E+0 -> 1
- comx448 compare -8.0 -90E-1 -> 1
- comx449 compare -8 -.9E+1 -> 1
- comx450 compare -8 -90E-1 -> 1
-
-
- -- testcases that subtract to lots of zeros at boundaries [pgr]
- precision: 40
- comx470 compare 123.4560000000000000E789 123.456E789 -> 0
- comx471 compare 123.456000000000000E-89 123.456E-89 -> 0
- comx472 compare 123.45600000000000E789 123.456E789 -> 0
- comx473 compare 123.4560000000000E-89 123.456E-89 -> 0
- comx474 compare 123.456000000000E789 123.456E789 -> 0
- comx475 compare 123.45600000000E-89 123.456E-89 -> 0
- comx476 compare 123.4560000000E789 123.456E789 -> 0
- comx477 compare 123.456000000E-89 123.456E-89 -> 0
- comx478 compare 123.45600000E789 123.456E789 -> 0
- comx479 compare 123.4560000E-89 123.456E-89 -> 0
- comx480 compare 123.456000E789 123.456E789 -> 0
- comx481 compare 123.45600E-89 123.456E-89 -> 0
- comx482 compare 123.4560E789 123.456E789 -> 0
- comx483 compare 123.456E-89 123.456E-89 -> 0
- comx484 compare 123.456E-89 123.4560000000000000E-89 -> 0
- comx485 compare 123.456E789 123.456000000000000E789 -> 0
- comx486 compare 123.456E-89 123.45600000000000E-89 -> 0
- comx487 compare 123.456E789 123.4560000000000E789 -> 0
- comx488 compare 123.456E-89 123.456000000000E-89 -> 0
- comx489 compare 123.456E789 123.45600000000E789 -> 0
- comx490 compare 123.456E-89 123.4560000000E-89 -> 0
- comx491 compare 123.456E789 123.456000000E789 -> 0
- comx492 compare 123.456E-89 123.45600000E-89 -> 0
- comx493 compare 123.456E789 123.4560000E789 -> 0
- comx494 compare 123.456E-89 123.456000E-89 -> 0
- comx495 compare 123.456E789 123.45600E789 -> 0
- comx496 compare 123.456E-89 123.4560E-89 -> 0
- comx497 compare 123.456E789 123.456E789 -> 0
-
- -- wide-ranging, around precision; signs equal
- precision: 9
- comx500 compare 1 1E-15 -> 1
- comx501 compare 1 1E-14 -> 1
- comx502 compare 1 1E-13 -> 1
- comx503 compare 1 1E-12 -> 1
- comx504 compare 1 1E-11 -> 1
- comx505 compare 1 1E-10 -> 1
- comx506 compare 1 1E-9 -> 1
- comx507 compare 1 1E-8 -> 1
- comx508 compare 1 1E-7 -> 1
- comx509 compare 1 1E-6 -> 1
- comx510 compare 1 1E-5 -> 1
- comx511 compare 1 1E-4 -> 1
- comx512 compare 1 1E-3 -> 1
- comx513 compare 1 1E-2 -> 1
- comx514 compare 1 1E-1 -> 1
- comx515 compare 1 1E-0 -> 0
- comx516 compare 1 1E+1 -> -1
- comx517 compare 1 1E+2 -> -1
- comx518 compare 1 1E+3 -> -1
- comx519 compare 1 1E+4 -> -1
- comx521 compare 1 1E+5 -> -1
- comx522 compare 1 1E+6 -> -1
- comx523 compare 1 1E+7 -> -1
- comx524 compare 1 1E+8 -> -1
- comx525 compare 1 1E+9 -> -1
- comx526 compare 1 1E+10 -> -1
- comx527 compare 1 1E+11 -> -1
- comx528 compare 1 1E+12 -> -1
- comx529 compare 1 1E+13 -> -1
- comx530 compare 1 1E+14 -> -1
- comx531 compare 1 1E+15 -> -1
- -- LR swap
- comx540 compare 1E-15 1 -> -1
- comx541 compare 1E-14 1 -> -1
- comx542 compare 1E-13 1 -> -1
- comx543 compare 1E-12 1 -> -1
- comx544 compare 1E-11 1 -> -1
- comx545 compare 1E-10 1 -> -1
- comx546 compare 1E-9 1 -> -1
- comx547 compare 1E-8 1 -> -1
- comx548 compare 1E-7 1 -> -1
- comx549 compare 1E-6 1 -> -1
- comx550 compare 1E-5 1 -> -1
- comx551 compare 1E-4 1 -> -1
- comx552 compare 1E-3 1 -> -1
- comx553 compare 1E-2 1 -> -1
- comx554 compare 1E-1 1 -> -1
- comx555 compare 1E-0 1 -> 0
- comx556 compare 1E+1 1 -> 1
- comx557 compare 1E+2 1 -> 1
- comx558 compare 1E+3 1 -> 1
- comx559 compare 1E+4 1 -> 1
- comx561 compare 1E+5 1 -> 1
- comx562 compare 1E+6 1 -> 1
- comx563 compare 1E+7 1 -> 1
- comx564 compare 1E+8 1 -> 1
- comx565 compare 1E+9 1 -> 1
- comx566 compare 1E+10 1 -> 1
- comx567 compare 1E+11 1 -> 1
- comx568 compare 1E+12 1 -> 1
- comx569 compare 1E+13 1 -> 1
- comx570 compare 1E+14 1 -> 1
- comx571 compare 1E+15 1 -> 1
- -- similar with an useful coefficient, one side only
- comx580 compare 0.000000987654321 1E-15 -> 1
- comx581 compare 0.000000987654321 1E-14 -> 1
- comx582 compare 0.000000987654321 1E-13 -> 1
- comx583 compare 0.000000987654321 1E-12 -> 1
- comx584 compare 0.000000987654321 1E-11 -> 1
- comx585 compare 0.000000987654321 1E-10 -> 1
- comx586 compare 0.000000987654321 1E-9 -> 1
- comx587 compare 0.000000987654321 1E-8 -> 1
- comx588 compare 0.000000987654321 1E-7 -> 1
- comx589 compare 0.000000987654321 1E-6 -> -1
- comx590 compare 0.000000987654321 1E-5 -> -1
- comx591 compare 0.000000987654321 1E-4 -> -1
- comx592 compare 0.000000987654321 1E-3 -> -1
- comx593 compare 0.000000987654321 1E-2 -> -1
- comx594 compare 0.000000987654321 1E-1 -> -1
- comx595 compare 0.000000987654321 1E-0 -> -1
- comx596 compare 0.000000987654321 1E+1 -> -1
- comx597 compare 0.000000987654321 1E+2 -> -1
- comx598 compare 0.000000987654321 1E+3 -> -1
- comx599 compare 0.000000987654321 1E+4 -> -1
-
- -- check some unit-y traps
- precision: 20
- comx600 compare 12 12.2345 -> -1
- comx601 compare 12.0 12.2345 -> -1
- comx602 compare 12.00 12.2345 -> -1
- comx603 compare 12.000 12.2345 -> -1
- comx604 compare 12.0000 12.2345 -> -1
- comx605 compare 12.00000 12.2345 -> -1
- comx606 compare 12.000000 12.2345 -> -1
- comx607 compare 12.0000000 12.2345 -> -1
- comx608 compare 12.00000000 12.2345 -> -1
- comx609 compare 12.000000000 12.2345 -> -1
- comx610 compare 12.1234 12 -> 1
- comx611 compare 12.1234 12.0 -> 1
- comx612 compare 12.1234 12.00 -> 1
- comx613 compare 12.1234 12.000 -> 1
- comx614 compare 12.1234 12.0000 -> 1
- comx615 compare 12.1234 12.00000 -> 1
- comx616 compare 12.1234 12.000000 -> 1
- comx617 compare 12.1234 12.0000000 -> 1
- comx618 compare 12.1234 12.00000000 -> 1
- comx619 compare 12.1234 12.000000000 -> 1
- comx620 compare -12 -12.2345 -> 1
- comx621 compare -12.0 -12.2345 -> 1
- comx622 compare -12.00 -12.2345 -> 1
- comx623 compare -12.000 -12.2345 -> 1
- comx624 compare -12.0000 -12.2345 -> 1
- comx625 compare -12.00000 -12.2345 -> 1
- comx626 compare -12.000000 -12.2345 -> 1
- comx627 compare -12.0000000 -12.2345 -> 1
- comx628 compare -12.00000000 -12.2345 -> 1
- comx629 compare -12.000000000 -12.2345 -> 1
- comx630 compare -12.1234 -12 -> -1
- comx631 compare -12.1234 -12.0 -> -1
- comx632 compare -12.1234 -12.00 -> -1
- comx633 compare -12.1234 -12.000 -> -1
- comx634 compare -12.1234 -12.0000 -> -1
- comx635 compare -12.1234 -12.00000 -> -1
- comx636 compare -12.1234 -12.000000 -> -1
- comx637 compare -12.1234 -12.0000000 -> -1
- comx638 compare -12.1234 -12.00000000 -> -1
- comx639 compare -12.1234 -12.000000000 -> -1
- precision: 9
-
- -- extended zeros
- comx640 compare 0 0 -> 0
- comx641 compare 0 -0 -> 0
- comx642 compare 0 -0.0 -> 0
- comx643 compare 0 0.0 -> 0
- comx644 compare -0 0 -> 0
- comx645 compare -0 -0 -> 0
- comx646 compare -0 -0.0 -> 0
- comx647 compare -0 0.0 -> 0
- comx648 compare 0.0 0 -> 0
- comx649 compare 0.0 -0 -> 0
- comx650 compare 0.0 -0.0 -> 0
- comx651 compare 0.0 0.0 -> 0
- comx652 compare -0.0 0 -> 0
- comx653 compare -0.0 -0 -> 0
- comx654 compare -0.0 -0.0 -> 0
- comx655 compare -0.0 0.0 -> 0
-
- comx656 compare -0E1 0.0 -> 0
- comx657 compare -0E2 0.0 -> 0
- comx658 compare 0E1 0.0 -> 0
- comx659 compare 0E2 0.0 -> 0
- comx660 compare -0E1 0 -> 0
- comx661 compare -0E2 0 -> 0
- comx662 compare 0E1 0 -> 0
- comx663 compare 0E2 0 -> 0
- comx664 compare -0E1 -0E1 -> 0
- comx665 compare -0E2 -0E1 -> 0
- comx666 compare 0E1 -0E1 -> 0
- comx667 compare 0E2 -0E1 -> 0
- comx668 compare -0E1 -0E2 -> 0
- comx669 compare -0E2 -0E2 -> 0
- comx670 compare 0E1 -0E2 -> 0
- comx671 compare 0E2 -0E2 -> 0
- comx672 compare -0E1 0E1 -> 0
- comx673 compare -0E2 0E1 -> 0
- comx674 compare 0E1 0E1 -> 0
- comx675 compare 0E2 0E1 -> 0
- comx676 compare -0E1 0E2 -> 0
- comx677 compare -0E2 0E2 -> 0
- comx678 compare 0E1 0E2 -> 0
- comx679 compare 0E2 0E2 -> 0
-
- -- trailing zeros; unit-y
- precision: 20
- comx680 compare 12 12 -> 0
- comx681 compare 12 12.0 -> 0
- comx682 compare 12 12.00 -> 0
- comx683 compare 12 12.000 -> 0
- comx684 compare 12 12.0000 -> 0
- comx685 compare 12 12.00000 -> 0
- comx686 compare 12 12.000000 -> 0
- comx687 compare 12 12.0000000 -> 0
- comx688 compare 12 12.00000000 -> 0
- comx689 compare 12 12.000000000 -> 0
- comx690 compare 12 12 -> 0
- comx691 compare 12.0 12 -> 0
- comx692 compare 12.00 12 -> 0
- comx693 compare 12.000 12 -> 0
- comx694 compare 12.0000 12 -> 0
- comx695 compare 12.00000 12 -> 0
- comx696 compare 12.000000 12 -> 0
- comx697 compare 12.0000000 12 -> 0
- comx698 compare 12.00000000 12 -> 0
- comx699 compare 12.000000000 12 -> 0
-
- -- long operand checks
- maxexponent: 999
- minexponent: -999
- precision: 9
- comx701 compare 12345678000 1 -> 1
- comx702 compare 1 12345678000 -> -1
- comx703 compare 1234567800 1 -> 1
- comx704 compare 1 1234567800 -> -1
- comx705 compare 1234567890 1 -> 1
- comx706 compare 1 1234567890 -> -1
- comx707 compare 1234567891 1 -> 1
- comx708 compare 1 1234567891 -> -1
- comx709 compare 12345678901 1 -> 1
- comx710 compare 1 12345678901 -> -1
- comx711 compare 1234567896 1 -> 1
- comx712 compare 1 1234567896 -> -1
- comx713 compare -1234567891 1 -> -1
- comx714 compare 1 -1234567891 -> 1
- comx715 compare -12345678901 1 -> -1
- comx716 compare 1 -12345678901 -> 1
- comx717 compare -1234567896 1 -> -1
- comx718 compare 1 -1234567896 -> 1
-
- precision: 15
- -- same with plenty of precision
- comx721 compare 12345678000 1 -> 1
- comx722 compare 1 12345678000 -> -1
- comx723 compare 1234567800 1 -> 1
- comx724 compare 1 1234567800 -> -1
- comx725 compare 1234567890 1 -> 1
- comx726 compare 1 1234567890 -> -1
- comx727 compare 1234567891 1 -> 1
- comx728 compare 1 1234567891 -> -1
- comx729 compare 12345678901 1 -> 1
- comx730 compare 1 12345678901 -> -1
- comx731 compare 1234567896 1 -> 1
- comx732 compare 1 1234567896 -> -1
-
- -- residue cases
- precision: 5
- comx740 compare 1 0.9999999 -> 1
- comx741 compare 1 0.999999 -> 1
- comx742 compare 1 0.99999 -> 1
- comx743 compare 1 1.0000 -> 0
- comx744 compare 1 1.00001 -> -1
- comx745 compare 1 1.000001 -> -1
- comx746 compare 1 1.0000001 -> -1
- comx750 compare 0.9999999 1 -> -1
- comx751 compare 0.999999 1 -> -1
- comx752 compare 0.99999 1 -> -1
- comx753 compare 1.0000 1 -> 0
- comx754 compare 1.00001 1 -> 1
- comx755 compare 1.000001 1 -> 1
- comx756 compare 1.0000001 1 -> 1
-
- -- a selection of longies
- comx760 compare -36852134.84194296250843579428931 -5830629.8347085025808756560357940 -> -1
- comx761 compare -36852134.84194296250843579428931 -36852134.84194296250843579428931 -> 0
- comx762 compare -36852134.94194296250843579428931 -36852134.84194296250843579428931 -> -1
- comx763 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- -- precisions above or below the difference should have no effect
- precision: 11
- comx764 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 10
- comx765 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 9
- comx766 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 8
- comx767 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 7
- comx768 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 6
- comx769 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 5
- comx770 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 4
- comx771 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 3
- comx772 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 2
- comx773 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
- precision: 1
- comx774 compare -36852134.84194296250843579428931 -36852134.94194296250843579428931 -> 1
-
- -- Specials
- precision: 9
- comx780 compare Inf -Inf -> 1
- comx781 compare Inf -1000 -> 1
- comx782 compare Inf -1 -> 1
- comx783 compare Inf -0 -> 1
- comx784 compare Inf 0 -> 1
- comx785 compare Inf 1 -> 1
- comx786 compare Inf 1000 -> 1
- comx787 compare Inf Inf -> 0
- comx788 compare -1000 Inf -> -1
- comx789 compare -Inf Inf -> -1
- comx790 compare -1 Inf -> -1
- comx791 compare -0 Inf -> -1
- comx792 compare 0 Inf -> -1
- comx793 compare 1 Inf -> -1
- comx794 compare 1000 Inf -> -1
- comx795 compare Inf Inf -> 0
-
- comx800 compare -Inf -Inf -> 0
- comx801 compare -Inf -1000 -> -1
- comx802 compare -Inf -1 -> -1
- comx803 compare -Inf -0 -> -1
- comx804 compare -Inf 0 -> -1
- comx805 compare -Inf 1 -> -1
- comx806 compare -Inf 1000 -> -1
- comx807 compare -Inf Inf -> -1
- comx808 compare -Inf -Inf -> 0
- comx809 compare -1000 -Inf -> 1
- comx810 compare -1 -Inf -> 1
- comx811 compare -0 -Inf -> 1
- comx812 compare 0 -Inf -> 1
- comx813 compare 1 -Inf -> 1
- comx814 compare 1000 -Inf -> 1
- comx815 compare Inf -Inf -> 1
-
- comx821 compare NaN -Inf -> NaN
- comx822 compare NaN -1000 -> NaN
- comx823 compare NaN -1 -> NaN
- comx824 compare NaN -0 -> NaN
- comx825 compare NaN 0 -> NaN
- comx826 compare NaN 1 -> NaN
- comx827 compare NaN 1000 -> NaN
- comx828 compare NaN Inf -> NaN
- comx829 compare NaN NaN -> NaN
- comx830 compare -Inf NaN -> NaN
- comx831 compare -1000 NaN -> NaN
- comx832 compare -1 NaN -> NaN
- comx833 compare -0 NaN -> NaN
- comx834 compare 0 NaN -> NaN
- comx835 compare 1 NaN -> NaN
- comx836 compare 1000 NaN -> NaN
- comx837 compare Inf NaN -> NaN
- comx838 compare -NaN -NaN -> -NaN
- comx839 compare +NaN -NaN -> NaN
- comx840 compare -NaN +NaN -> -NaN
-
- comx841 compare sNaN -Inf -> NaN Invalid_operation
- comx842 compare sNaN -1000 -> NaN Invalid_operation
- comx843 compare sNaN -1 -> NaN Invalid_operation
- comx844 compare sNaN -0 -> NaN Invalid_operation
- comx845 compare sNaN 0 -> NaN Invalid_operation
- comx846 compare sNaN 1 -> NaN Invalid_operation
- comx847 compare sNaN 1000 -> NaN Invalid_operation
- comx848 compare sNaN NaN -> NaN Invalid_operation
- comx849 compare sNaN sNaN -> NaN Invalid_operation
- comx850 compare NaN sNaN -> NaN Invalid_operation
- comx851 compare -Inf sNaN -> NaN Invalid_operation
- comx852 compare -1000 sNaN -> NaN Invalid_operation
- comx853 compare -1 sNaN -> NaN Invalid_operation
- comx854 compare -0 sNaN -> NaN Invalid_operation
- comx855 compare 0 sNaN -> NaN Invalid_operation
- comx856 compare 1 sNaN -> NaN Invalid_operation
- comx857 compare 1000 sNaN -> NaN Invalid_operation
- comx858 compare Inf sNaN -> NaN Invalid_operation
- comx859 compare NaN sNaN -> NaN Invalid_operation
-
- -- propagating NaNs
- comx860 compare NaN9 -Inf -> NaN9
- comx861 compare NaN8 999 -> NaN8
- comx862 compare NaN77 Inf -> NaN77
- comx863 compare -NaN67 NaN5 -> -NaN67
- comx864 compare -Inf -NaN4 -> -NaN4
- comx865 compare -999 -NaN33 -> -NaN33
- comx866 compare Inf NaN2 -> NaN2
- comx867 compare -NaN41 -NaN42 -> -NaN41
- comx868 compare +NaN41 -NaN42 -> NaN41
- comx869 compare -NaN41 +NaN42 -> -NaN41
- comx870 compare +NaN41 +NaN42 -> NaN41
-
- comx871 compare -sNaN99 -Inf -> -NaN99 Invalid_operation
- comx872 compare sNaN98 -11 -> NaN98 Invalid_operation
- comx873 compare sNaN97 NaN -> NaN97 Invalid_operation
- comx874 compare sNaN16 sNaN94 -> NaN16 Invalid_operation
- comx875 compare NaN85 sNaN83 -> NaN83 Invalid_operation
- comx876 compare -Inf sNaN92 -> NaN92 Invalid_operation
- comx877 compare 088 sNaN81 -> NaN81 Invalid_operation
- comx878 compare Inf sNaN90 -> NaN90 Invalid_operation
- comx879 compare NaN -sNaN89 -> -NaN89 Invalid_operation
-
- -- overflow and underflow tests .. subnormal results now allowed
- maxExponent: 999999999
- minexponent: -999999999
- comx880 compare +1.23456789012345E-0 9E+999999999 -> -1
- comx881 compare 9E+999999999 +1.23456789012345E-0 -> 1
- comx882 compare +0.100 9E-999999999 -> 1
- comx883 compare 9E-999999999 +0.100 -> -1
- comx885 compare -1.23456789012345E-0 9E+999999999 -> -1
- comx886 compare 9E+999999999 -1.23456789012345E-0 -> 1
- comx887 compare -0.100 9E-999999999 -> -1
- comx888 compare 9E-999999999 -0.100 -> 1
-
- comx889 compare 1e-599999999 1e-400000001 -> -1
- comx890 compare 1e-599999999 1e-400000000 -> -1
- comx891 compare 1e-600000000 1e-400000000 -> -1
- comx892 compare 9e-999999998 0.01 -> -1
- comx893 compare 9e-999999998 0.1 -> -1
- comx894 compare 0.01 9e-999999998 -> 1
- comx895 compare 1e599999999 1e400000001 -> 1
- comx896 compare 1e599999999 1e400000000 -> 1
- comx897 compare 1e600000000 1e400000000 -> 1
- comx898 compare 9e999999998 100 -> 1
- comx899 compare 9e999999998 10 -> 1
- comx900 compare 100 9e999999998 -> -1
- -- signs
- comx901 compare 1e+777777777 1e+411111111 -> 1
- comx902 compare 1e+777777777 -1e+411111111 -> 1
- comx903 compare -1e+777777777 1e+411111111 -> -1
- comx904 compare -1e+777777777 -1e+411111111 -> -1
- comx905 compare 1e-777777777 1e-411111111 -> -1
- comx906 compare 1e-777777777 -1e-411111111 -> 1
- comx907 compare -1e-777777777 1e-411111111 -> -1
- comx908 compare -1e-777777777 -1e-411111111 -> 1
-
- -- Null tests
- comx990 compare 10 # -> NaN Invalid_operation
- comx991 compare # 10 -> NaN Invalid_operation
-